package dbms.absyn;

public class CheckExp extends Exp {
	public CheckClause check_stmt;
	
	public CheckExp (int p, CheckClause cs) {
		pos = p;
		check_stmt = cs;
	}
}